大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. TC-micro 的图书(共4014本)

Theoretical Computer Science [electronic resource] : 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

0
索取号：
作者：Calude、 Cristian S.、Sassone、 Vladimiro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Human-Computer Interaction [electronic resource] : Second IFIP TC 13 Symposium, HCIS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

0
索取号：
作者：Forbrig、 Peter.、Patern贸、 Fabio.、Mark Pejtersen、 Annelise.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Science Logic [electronic resource] : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

0
索取号：
作者：Dawar、 Anuj.、Veith、 Helmut.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Mathematical Foundations of Computer Science 2010 [electronic resource] : 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings

0
索取号：
作者：Hlin臎n媒、 Petr.、Ku膷era、 Anton铆n.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Nano/Micro Biotechnology [electronic resource]

0
索取号：
作者：Endo、 Isao.、Nagamune、 Teruyuki.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

Computer Network Security [electronic resource] : 5th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2010, St. Petersburg, Russia, September 8-10, 2010. Proceedings

0
索取号：
作者：Kotenko、 Igor.、Skormin、 Victor.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

The Silver Market Phenomenon [electronic resource] : Marketing and Innovation in the Aging Society

0
索取号：
作者：Kohlbacher、 Florian.、Herstatt、 Cornelius.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Computer Aided Verification [electronic resource] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

0
索取号：
作者：Touili、 Tayssir.、Cook、 Byron.、Jackson、 Paul.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Deontic Logic in Computer Science [electronic resource] : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings

0
索取号：
作者：Governatori、 Guido.、Sartor、 Giovanni.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Intelligent Computer Mathematics [electronic resource] : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings

0
索取号：
作者：Autexier、 Serge.、Calmet、 Jacques.、Delahaye、 David.、Ion、 Patrick D. F.、Rideau、 Laurence.、Rioboo、 Renaud.、Sexton、 Alan P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Soft Computing in XML Data Management [electronic resource] : Intelligent Systems from Decision Making to Data Mining, Web Intelligence and Computer Vision

0
索取号：
作者：Ma、 Zongmin.、Yan、 Li.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Networks [electronic resource] : 17th Conference, CN 2010, Ustro艅, Poland, June 15-19, 2010. Proceedings

0
索取号：
作者：Kwiecie艅、 Andrzej.、Gaj、 Piotr.、Stera、 Piotr.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Information Processing in Computer-Assisted Interventions [electronic resource] : First International Conference, IPCAI 2010, Geneva, Switzerland, June 23, 2010. Proceedings

0
索取号：
作者：Navab、 Nassir.、Jannin、 Pierre.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Formal Methods for Quantitative Aspects of Programming Languages [electronic resource] : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

0
索取号：
作者：Aldini、 Alessandro.、Bernardo、 Marco.、Pierro、 Alessandra.、Wiklicky、 Herbert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Distributed Computing in Sensor Systems [electronic resource] : 6th IEEE International Conference, DCOSS 2010, Santa Barbara, CA, USA, June 21-23, 2010. Proceedings

0
索取号：
作者：Rajaraman、 Rajmohan.、Moscibroda、 Thomas.、Dunkels、 Adam.、Scaglione、 Anna.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Fete of Combinatorics and Computer Science [electronic resource]

0
索取号：
作者：Katona、 Gyula O. H.、Schrijver、 Alexander.、Sz艖nyi、 Tam谩s.、S谩gi、 G谩bor.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.